<html>
<head><meta charset="utf-8"><title>rustdoc associated type equality · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html">rustdoc associated type equality</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212853732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212853732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cuviper <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212853732">(Oct 09 2020 at 17:24)</a>:</h4>
<p>in this thread: <a href="https://www.reddit.com/r/rust/comments/j794ro/iterators_in_rust/g846d9q/">https://www.reddit.com/r/rust/comments/j794ro/iterators_in_rust/g846d9q/</a><br>
we noted that the documentation shows <code>IntoIterator</code> constraints differently on <code>core</code> and <code>std</code></p>



<a name="212853801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212853801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cuviper <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212853801">(Oct 09 2020 at 17:25)</a>:</h4>
<p><code>core</code> has: <code>type IntoIter: Iterator&lt;Item = Self::Item&gt;;</code></p>



<a name="212853884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212853884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cuviper <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212853884">(Oct 09 2020 at 17:26)</a>:</h4>
<p><code>std</code> has: <code>where &lt;Self::IntoIter as Iterator&gt;::Item == Self::Item,</code><br>
(which isn't supported syntax)</p>



<a name="212853895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212853895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cuviper <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212853895">(Oct 09 2020 at 17:26)</a>:</h4>
<p>anyone know what's going on there?</p>



<a name="212853961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212853961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cuviper <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212853961">(Oct 09 2020 at 17:27)</a>:</h4>
<p>oh, and nightly doesn't show any <code>Item</code> constraint at all!</p>



<a name="212855538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212855538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212855538">(Oct 09 2020 at 17:42)</a>:</h4>
<p>Maybe accidental fallout from <a href="https://github.com/rust-lang/rust/pull/77467">https://github.com/rust-lang/rust/pull/77467</a>?  I have no proof of that, just jumped to mind as a change about paths in rustdoc.</p>



<a name="212855604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212855604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212855604">(Oct 09 2020 at 17:42)</a>:</h4>
<p><span class="user-mention" data-user-id="125270">@scottmcm</span> that PR hasn't been merged yet</p>



<a name="212855635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212855635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212855635">(Oct 09 2020 at 17:43)</a>:</h4>
<p>and also doesn't affect this path, it completely ignores where bounds/any type that can't be fully resolved</p>



<a name="212855697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212855697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212855697">(Oct 09 2020 at 17:43)</a>:</h4>
<p>I'd open an issue, I don't think this is intentional</p>



<a name="212856298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212856298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212856298">(Oct 09 2020 at 17:49)</a>:</h4>
<p>Oh, doh :P  Yeah, definitely not the fault of something not merged <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span>‍</p>



<a name="212863940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212863940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cuviper <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212863940">(Oct 09 2020 at 19:02)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/77763">https://github.com/rust-lang/rust/issues/77763</a></p>



<a name="212875469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212875469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212875469">(Oct 09 2020 at 21:03)</a>:</h4>
<p>posted some comments, not sure what's going wrong though</p>



<a name="212875478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rustdoc%20associated%20type%20equality/near/212875478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rustdoc.20associated.20type.20equality.html#212875478">(Oct 09 2020 at 21:03)</a>:</h4>
<p>I think it might be treating the trait as a type (??)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>